unix java open source music online shopping doors lisp siding cubase logic prolog shop logic programming windows games replacement windows c++ solaris artificial intelligence